<!DOCTYPE html>
<html>
  <head>
    <meta charset="utf-8"> <meta name="viewport" content="width=device-width">
    <title>Burnside引理与Polya计数原理</title>
    <meta name="viewport" content="width=device-width,initial-scale=1, shrink-to-fit=no">
    <!-- Bootstrap CSS -->
    <link rel="stylesheet"
          href="https://cdn.jsdelivr.net/npm/bootstrap@4.5.0/dist/css/bootstrap.min.css"
          integrity="sha384-9aIt2nRpC12Uk9gS9baDl411NQApFmC26EwAOH8WgZl5MYYxFfc+NcPb1dKGj7Sk"
          crossorigin="anonymous">
    <link rel="stylesheet"
          href="//cdnjs.cloudflare.com/ajax/libs/highlight.js/10.5.0/styles/androidstudio.min.css">
<!--    <link rel="stylesheet" href="/web_template_css.css">-->
    <!-- this is highlight.js -->
    <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
    <script id="MathJax-script" async
            src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js">
    </script>
    <script  src="https://cdn.jsdelivr.net/npm/jquery@3.5.1/dist/jquery.slim.min.js"
    integrity="sha384-DfXdz2htPH0lsSSs5nCTpuj/zy4C+OGpamoFVy38MVBnE+IbbVYUew+OrCXaRkfj" crossorigin="anonymous"></script>
    <script src="https://cdn.jsdelivr.net/npm/popper.js@1.16.0/dist/umd/popper.min.js"
    integrity="sha384-Q6E9RHvbIyZFJoft+2mJbHaEWldlvI9IOYy5n3zV9zzTtmI3UksdQRVvoxMfooAo" crossorigin="anonymous"></script>
    <script src="https://cdn.jsdelivr.net/npm/bootstrap@4.5.0/dist/js/bootstrap.min.js"
    integrity="sha384-OgVRvuATP1z7JjHLkuOU7Xw704+h835Lr+6QL9UvYjZE3Ipu6Tp75j7Bh/kR0JKI" crossorigin="anonymous"></script>
    <script src="//cdnjs.cloudflare.com/ajax/libs/highlight.js/10.5.0/highlight.min.js"></script>
    <style>
      img{
        display: block;
        height: auto;
        max-width: 100%;
      }
    </style>
  </head>
  <body>
    <nav class="navbar navbar-expand-lg navbar-light bg-light">
        <a class="navbar-brand" href="#">kvrmnks</a>
        <button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#navbarNav" aria-controls="navbarNav" aria-expanded="false" aria-label="Toggle navigation">
          <span class="navbar-toggler-icon"></span>
        </button>
        <div class="collapse navbar-collapse" id="navbarNav">
          <ul class="navbar-nav">
            <li class="nav-item active">
              <a class="nav-link" href="./../../../../../index.html" target="_self">Home <span class="sr-only">(current)</span></a>
            </li>
            <li class="nav-item">
              <a class="nav-link" href="./../../../../../blog.html">Blog</a>
            </li>
            <li class="nav-item">
              <a class="nav-link" href="./../../../../../about.html">About</a>
            </li>
          </ul>
        </div>
      </nav>



    <div class='container'>
      <h3>Burnside引理与Polya计数原理</h3>

<h4>Burnside引理简介</h4>

<p>这个定理主要叙述了在置换群作用下元素的不动情况。</p>

<p>为了方便起见，我们引入颜色的概念，假设一个长度为\(n\)的向量\(x\),其中\(x\)的第\(i\)维度记为\(x_{i}\),定义一共有\(m\)种颜色，即\(x_{i}\in{1,2,\cdots,m}\)。假设\(y\)是\(n\)上的一个置换，则\(y(x)\)表示相应颜色的置换。</p>

<p>设\(G\)是一个置换群，设两个本质不同的染色为两个维度为\(n\)的向量\(x\)与\(t\)，且不存在\(g \in G\)，使得\(g(x) = y\).</p>

<p>假设所有的染色方案集合为\(S\).</p>

<p>则可以发现上面定义了一种等价关系。</p>

<p>\(Burnside\)引理给出了计数这个商集大小的方法。</p>

<h4>Burnside引理感性证明</h4>

<p>我知道自己没法写出严格的证明，我只能按照自己的思路整理出合我自己思路的证明思路。</p>

<p>严格思路可以参考<a href="https://zhuanlan.zhihu.com/p/80261375">链接</a></p>

<p>该定理的证明方式主要基于对于\(G\)的不同分组计数方式。</p>

<p>我们知道不同的\(G\)的计数方式可以形成一个等式，而只要我们要求的商集大小存在于这个等式之中，我们就可以求得商集的大小。</p>

<p>我们考虑\(G\)是一个置换群，将其作用于\(\{1,2,\cdots,n\}\)上亦是一个等价关系，先考虑其中的一个等价类\([k]\).</p>

<p>不妨记\([k] = \{k,k_{1},\cdots,k_{p}\}\),其中由等价关系得到对于任意一个\(k_{i}\)都存在一个\(g_{i} \in G\)使得\(g_{i}(k_{i})=k\)</p>

<p>更感性一点，我们可以发现通过\(k_{i}\)可以找到一个\(G\)的子集\(G_{k_{i}}\)对于这个子集中的任意一个元素，都是一个置换，且是一个可以从\(k_{i} \rightarrow k\)的置换。</p>

<p>根据这样的一个简单说明,我们知道\([k]\)中的每个元素都对应了一个\(G\)的子集，并且这些子集是无交的而且这些的并是\(G\)，想想为什么吧。</p>

<p>于是我们得到了一个关于\(|G|\)的式子，即\[|G| = \sum_{\hat{k}\in [k]}|G_{\hat{k}}|\]</p>

<p>到此为止便是简单思路能够思考到的位置了。</p>

<p>下面就是些只能仰慕的推导了。</p>

<p>数学家们发现\(|G_{\hat{k}}|\)是相等的。</p>

<p>可以简单在这里证明一下。</p>

<p>令\(G_{k_{i}} = \{g_{1},\cdots,g_{q}\}\)，取\(g_{1}\)作用于\(G_{k}\),记结果为\(\hat{G_{k}}\)现在\(\hat{G_{k}}\)的每个元素都是\(k \rightarrow k_{i}\)的一个置换，根据定义\(\hat{G_{j}} \subseteq G_{k}\) 用来比大小的话就是\(|G_{k_{i}}| = \hat{G_{k}} \leq G_{k}\) </p>

<p>接下来只要证明反向包含就行了。</p>

<p>任取\(G_{k_{i}}\)的一个元素\(g_{j}\), 显然\(g_{j} = g_{1}*g_{1}^{-1}*g_{j}\),其中\(g_{1}^{-1}*g_{j} \in G_{k}\),于是\(g_{j} \in \hat{G_{k}}\)，于是反向包含就证好了。</p>

<p>于是我们得到了\[|G| = |G_{k}||[k]|\]</p>

<p>为了思路的连贯，并没有保持和参考文章一样的记号。</p>

<p>接下来，对于\(G\)与\(S\)列一个矩阵，定义\(\mu(g,s) = [g(s)==s]\) </p>

<p>\(\sum_{g}\sum_{s}\mu(g,s) = \sum_{s}|G_{s}| = t |G_{s}|[s] = t|G|\)</p>

<p>于是最后的结果为\(t = \frac{1}{|G|}\sum_{g}\sum_{s}\mu(g,s)\)</p>

<h4>Polya计数原理的简述与感性证明</h4>

<p>之所以将它称之为计数原理在于这个方法简化了上面引理的一部分计算。</p>

<p>引用上面Burnside引理的结果\(t = \frac{1}{|G|}\sum_{g}\sum_{s}\mu(g,s)\)</p>

<p>Polya计数原理简化了\(\sum_{s}\mu(g,s)\)的计算。</p>

<p>原理在于对每个置换进行循环分解。</p>

<p>大概举个例子\(g = (1)(2,3)(4,5,7)(6)(9)\)</p>

<p>可以理性观察这个置换，只有每个括号里的元素颜色一样的时候才会对答案有贡献。</p>

<p>于是\(\sum_{s}\mu(g,s) = m^{\#g}\)</p>

<p>其中\(\#g\)表示\(g\)再进行循环分解后有多少个括号。</p>

<p>于是上面的式子就变成了\(t = \frac{1}{|G|}\sum_{g}m^{\#g}\)</p>


    </div>
    <script>
      hljs.initHighlightingOnLoad()
    </script>
  <script src="https://cdnjs.cloudflare.com/ajax/libs/highlightjs-line-numbers.js/2.5.0/highlightjs-line-numbers.min.js"></script>
  <script>
      hljs.initHighlightingOnLoad();
      hljs.initLineNumbersOnLoad();
  </script>
  </body>
</html>